Electronic Communications of the EASST VolumeProceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015)

Source URL: www.cse.chalmers.se

• Mathematical logic
• Mathematical proofs
• Theoretical computer science
• Mathematical induction
• Recursion
• Structural induction
• Rippling
• Algorithm
• Theorem

Proceedings of the Fourth Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Source URL: places11.di.fc.ul.pt

• Process calculi
• Concurrent computing
• Distributed computing
• Actor model
• -calculus
• Calculus
• Bunched logic
• Parallel computing
• Resource fork
• Thread
• Resource management
• Concurrency

The Combined KEAPPA - IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics held at

Source URL: www.cs.miami.edu

• Automated theorem proving
• Automated reasoning
• Proof assistant
• First-order logic
• Type theory
• TarskiGrothendieck set theory
• Mizar and Alcor
• Geoff Sutcliffe
• Jordan curve theorem
• Isabelle
• Mathematical logic
• Reasoning system

An Implementation of Multi-Level Modelling in F-Logic Muzaffar Igamberdiev, Georg Grossmann, and Markus Stumptner 1st International Workshop on Multi-Level Modelling (MULTI 2014)

Source URL: miso.es

• Knowledge representation
• Semantic Web
• Information science
• Technical communication
• Knowledge engineering
• Ontology
• Interoperability
• ISO 15926
• F-logic

Call for Workshop Proposals LICS 2011 26th IEEE Symposium on Logic In Computer Science http://www2.informatik.hu-berlin.de/lics/lics11/ The twenty-sith IEEE Symposium on Logic In Computer Science (LICSwill be held

Source URL: lics.rwth-aachen.de

• Logic in computer science
• Symposium on Logic in Computer Science

In Proceedings of the 8th International Workshop on Field Programmable Logic and Applications (FPL98), pages 69-78, Tallinn, Estonia, Springer-Verlag, 1998. Acceleration of Satisfiability Algorithms by Reconfigurable Har

Source URL: si2.epfl.ch

Prof. Dr. Ulrich Kohlenbach Curriculum Vitae Ulrich Wilhelm Kohlenbach CURRENT AFFILIATION:

Source URL: www.mathematik.tu-darmstadt.de

• Formal sciences
• Metalogic
• Proof theory
• Philosophers of mathematics
• Mathematical logic
• Proof mining
• Logic
• Foundations of mathematics
• Workshop on Logic
• Language
• Information and Computation
• Mathematics
• Type theory
• Model theory

13 International Workshop on Non-Monotonic Reasoning, NMROn the Complexity of Temporal Defeasible Logic Guido Governatori∗

Source URL: www.governatori.net

Rewriting, Inference, and Proof? Appears in the Proceedings of the 8th Workshop on Rewriting Logic and its Applications, 2010 Natarajan Shankar1 Computer Science Laboratory

Source URL: www.csl.sri.com

TABLEAUX 2011 Workshops, Tutorials, and Short Papers Martin Giese and Roman Kuznets (editors) Technical Report IAM, 4–8 JulyInstitut fur

Source URL: www.tableaux11.unibe.ch

• Logic
• Mathematical logic
• Theoretical computer science
• Automated theorem proving
• Proof theory
• Methods of proof
• International Workshop on First-Order Theorem Proving
• Melvin Fitting
• Natural deduction
• Sequent calculus
• Modal logic
• Method of analytic tableaux